$\forall$$w$:World, $i$, $x$:Id. discrete($i$;$x$) $\in$ $\mathbb{B}$